Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
STRONG NORMALIZATION OF lambda(Sym)(Prop) - AND (lambda)over-bar mu(mu)over-tilde*-CALCULI
XX
DOI
DOI
10.23638/lmcs-13(3:34)2017
XX
DOAI
DOAI
10.23638/lmcs-13(3:34)2017
XX
Identifiant WoS
WOS:000419163000035
XX
Accès ouvert
OA - Inconnu
XX
Source - Accès ouvert
OA - Inconnu
XX
Type d'accès
Inconnu
XX
Editeur
Inconnu
XX
Source
LOGICAL METHODS IN COMPUTER SCIENCE
XX
ISSN
1860-5974
XX
Type de document
Article
XX
Notoriété
2 - Acceptable
XX
CNRS
Oui
XX
CNRS - Institut
INSMI - Institut national des sciences mathématiques et de leurs interactions
XX
uid:/0WCXQBM6
12/10/2021 14:52:59 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
